Calife: A Generic Graphical User Interface for Automata Tools
نویسندگان
چکیده
منابع مشابه
Calife: A Generic Graphical User Interface for Automata Tools
The Calife v3.0 platform is an environment developed under the GPL licence (freely downloadable at http://calife.criltechnology.com) allowing the specification and formal validation of systems described as synchronized product of automata. The goal is not to provide another verification tool, but to interface (all?) existing tools working on automata in a unique environment. Tools can be groupe...
متن کاملGeneric Graphical User Interfaces
It is important to be able to program GUI applications in a fast and easy manner. Current GUI tools for creating visually attractive applications offer limited functionality. In this paper we introduce a new, easy to use method to program GUI applications in a pure functional language such as Clean or Generic Haskell. The method we use is a refined version of the model-view paradigm. The basic ...
متن کاملA Graphical User Interface for Relax3d
The Laplace/Poisson solver Relax3d has been used extensively in cyclotron central region design and other accelerator and beam physics applications. It is typically run in an interactive mode where the user types in commands and parameters to initiate and control the solution process and to view or output the results. This paper describes a graphical user interface (GUI) that eliminates most of...
متن کاملA Graphical User Interface for Setheo | Proposal |
The use of the theorem prover SETHEO is, like that of most theorem provers, a very complex subject and almost impossible for the novice or a casual user. In this paper we give a list of required features of a versatile graphical user-interface for SETHEO which allows to control SETHEO using graphical elements and to display the results in a graphical way. The exploration of requirements starts ...
متن کاملA graphical user interface for service adaptation
Service-oriented computing aims at composing independent services to achieve a common goal. Although very flexible, this independence may result in incompatibilities. A pragmatic approach to overcome such incompatibilities offer adapters. An adapter is again a service which reorganizes the message exchange in a service composition to avoid incompatibilities. Given a set of domain-specific messa...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Notes in Theoretical Computer Science
سال: 2004
ISSN: 1571-0661
DOI: 10.1016/j.entcs.2004.06.004